Refinement and verification in component-based model-driven design
نویسندگان
چکیده
منابع مشابه
Refinement and verification in component-based model-driven design
Modern software development has to deal with many different aspects and different views of applications. Thus it needs different modelling notations and tools to support more and more phases of the entire development process. To ensure the correctness of the models produced, the tools need to integrate sophisticated checkers, generators and transformations. A feasible approach to ensuring high ...
متن کاملModel-Driven Design of Ensemble-Based Component Systems
In this research abstract we describe our approach towards the design of ensemble-based component systems. Our motivation lies in the fact that, in these systems, tracing the behavior of individual constituents to system-level goals and requirements is challenging. Our approach is based on a novel invariant-based model that achieves the desired traceability. Along with using the model in a meth...
متن کاملModel-Driven Design, Refinement and Transformation of Abstract Interactions
c’, Dt) transform(Ds) abstract(c’, Dt) where c’ = ftransform(Ds) Ds
متن کاملComponent-based Design and Verification in X-MAN
Compositionality has the potential to enable a step-change in the scalability of formal design and verification methods for industrial-scale systems: by designing systems in a compositional manner, components can be modelled, specified, implemented, and verified independently and in parallel by different teams, leading to significant gains in terms of productivity and the ability to reuse compo...
متن کاملContext-Driven Model Refinement
An important drive for Model-Driven Architecture is that many software applications have to be deployed on a variety of platforms and within a variety of contexts in general. Using software models, e.g. described in the Unified Modeling Language (UML), one can abstract from specific platforms. A software model can then be transformed to a refined model, given the context in which it should run....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2009
ISSN: 0167-6423
DOI: 10.1016/j.scico.2008.08.003